mono 射
monic。monomorphism
モニック射 - Wikipedia
monomorphism in nLab
圈
の射
$ f:X\hookrightarrow Y
は、反圖式順で
左簡約律
$ f\circ g_1=f\circ g_2\implies g_1=g_2
を滿たすならば
mono 射
である
圈論的雙對
は
epi 射
集合の圈
で
mono 射
は
單射
である
入射
https://ja.wikipedia.org/wiki/入射加群
(injective module)
https://ja.wikipedia.org/wiki/単射的対象
(injective object)
入射層 - Wikipedia
射影
https://ja.wikipedia.org/wiki/射影加群
(projective module)
https://ja.wikipedia.org/wiki/射影的対象
(projective object)
https://ja.wikipedia.org/wiki/分解_(ホモロジー代数)
Ext 函手
https://ja.wikipedia.org/wiki/Ext関手
Tor 函手
https://ja.wikipedia.org/wiki/Tor関手
https://alg-d.com/math/ac/inj_proj.html
分裂 mono 射
split monomorphism in nLab
正則 mono 射
regular monomorphism in nLab
effective monomorphism in nLab